Ang existential quantifier ay isang lohikal na simbolo na ginagamit sa matematika at pilosopiya upang ipahayag ang ideya ng "may umiiral." Ito ay karaniwang tinutukoy ng simbolo (∃) at binabasa bilang "may umiiral" o "mayroong kahit isa."Sa mathematical logic, ang existential quantifier ay ginagamit upang tukuyin na mayroong hindi bababa sa isang instance ng isang variable na ginagawang totoo ang isang ibinigay na panaguri. Halimbawa, sa pahayag na "∃ x P(x)," ang simbolo (∃) ay nagpapahiwatig na mayroong hindi bababa sa isang x kung kaya't ang panaguri P(x) ay totoo.Sa pilosopiya, ang Ang existential quantifier ay ginagamit upang ipahayag ang ideya na mayroong isang bagay o na mayroong isang bagay na nakakatugon sa isang tiyak na kondisyon. Halimbawa, sa pahayag na "May asul na bulaklak sa hardin," ang existential quantifier ay ginagamit upang ipahiwatig na mayroong kahit isang bagay (isang asul na bulaklak) na nakakatugon sa kondisyon ng pagiging nasa hardin at pagiging asul.